document.write ("5212");