document.write ("1241 ");