document.write ("4241 ");