document.write (" 4206 ");