document.write ("4214 ");