document.write('4288\n');