<?php    if (!extension_loaded('dom')) die('skip dom extension not available');?>