document.write('4279\n');