rendered paste body<?php /*header.php * contains all header information for faster updating * * * */$filename = $_GET['filename'];print('<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"><html> <head> <title>X I R systems website</title> <meta http-equiv="author" content="Richard V.P. Brillantes III" > <meta name="description" content="X I R Systems | <?php echo $title; ?>"> <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">');if ($filename == "index.php"){ print('<script type="text/javascript" src="http://www.tag-board.com/tagboard.js?boardname=xir_version3"></script>'); }print(' <link rel="stylesheet" type="text/css" media="screen" href="web.css">');if ($filename == "about.php"){ print('<link rel="stylesheet" type="text/css" media="print" href="print.css">');print(' </head> '); ?>