document.write ("10094");