document.write ("5442 ");