document.write ("4912 ");