document.write('0255\n');