document.write('0545\n');