document.write ("1241 ")