document.write ("107212");