document.write ("6212");