document.write('0556\n');