document.write('0653\n');