document.write (" 12188 ");