document.write ("5212")