document.write('0659\n');