document.write('4126\n');