document.write ("4912");