document.write('1008\n');