document.write ("12442");