document.write (" 6212 ");