document.write (" 14212 ");