document.write ("12048")