document.write('1290\n');