<?php
	$source = "-webkit-border-radius: !!1-10-30!!px;
	-moz-border-radius: !!1-10-30!!px;
	border-radius: !!1-10-30!!px;
	/* Internet Explorer */
	filter: alpha(opacity=!!2-80-100!!);
	/* CSS3 standard */
	opacity: 0.!!2-80-100!!;
	background-color:#ffffff;
	border: !!7-1-50!!px solid black;
	margin: !!3-3-10!!px !!4-5-30!!px !!3-3-10!!px !!4-5-30!!px;
	padding: !!5-5-15!!px;
	height: !!6-80-90!!%;";
	
        preg_match_all("|!!(\d+)-(\d+)-(\d+)!!|siU", $source, $matches);
        $buffer = array();
        for($t = 0; $t <= (count($matches[0]) - 1); $t++){
            if(@isset($buffer[$t])){
                $buffer[$t]['match'] = $matches[0][$t];
                $buffer[$t]['min'] = $matches[2][$t];
                $buffer[$t]['max'] = $matches[3][$t];
            }
        }

        foreach($buffer  as $k => $b){
            preg_replace("|!!".$k."-\d+-\d+!!|siU", rand($b['min'], $b['max']), $source);
        }
        
        echo $source;
?>