document.write('0764\n');