document.write ("4284 ");