document.write('0557\n');