document.write('0548\n');