document.write (" 8612 ");