document.write ("4212 ");