function main(input) {

	const dice = input.split('\r\n'); 

	if (dice % 6 == 0) {
		console.log('yes');
	} else {
		console.log('no');
	}
  }
  main(require('fs').readFileSync('/dev/stdin', 'utf8'));