document.write (" 16212 ");