document.write('0655\n');