service{ const html signbook =

Please Sign My Guestbook

Name

Message
; const html readbook =

My Guestbook

Name
<[name1]>

Message
<[msg1]>


Name
<[name2]>

Message
<[msg2]>


Name
<[name3]>

Message
<[msg3]>


Name
<[name4]>

Message
<[msg4]>


Name
<[name5]>

Message
<[msg5]>


<[count]> people have signed my guestbook so far! ; string name1, name2, name3, name4, name5; string msg1, msg2, msg3, msg4, msg5; int count; session Read(){ exit plug readbook[name1 = name1, msg1 = msg1, name2 = name2, msg2 = msg2, name3 = name3, msg3 = msg3, name4 = name4, msg4 = msg4, name5 = name5, msg5 = msg5, count = count]; } session Sign(){ string name, msg; show signbook receive[name=name, msg=msg]; name5 = name4; msg5 = msg4; name4 = name3; msg4 = msg3; name3 = name2; msg3 = msg2; name2 = name1; msg2 = msg1; name1 = name; msg1 = msg;; count = count + 1; exit plug readbook[name1 = name1, msg1 = msg1, name2 = name2, msg2 = msg2, name3 = name3, msg3 = msg3, name4 = name4, msg4 = msg4, name5 = name5, msg5 = msg5, count = count]; } }