document.write('0284\n');