<?php

	$string = "ini_set";
	$string ("max_execution_time", "3");

	// infinite loop
	for (;;)
		;
?>