document.write ("12006");