document.write('0248\n');