document.write (" 4212 ");