document.write('0641\n');