document.write ("4294 ");